Best Price in Texas

My brother is about to shop for a new XP1K. He was really wanting a 2015 Voodoo Blue, 2 seater. I was trying to have him go for a highlifter like I have. After he rode mine over the weekend he was hooked.

So now I’m trying to help him out and find the best price I can around East Texas area. 2015 or 2016, doesn’t matter. Ive heard of guy’s walking out the door around 17.5k for a 2015 HLE. This was up around Dallas area. Does anyone know where that might be?