I rather not spend more than $25,000 on a lap pool. We still have an alfresco to consider putting in as well. Thanks to everyone else with your suggestions.
It'll be tough to get a lap pool for $25k. Even 8x3 pools are hard to get for $25k even with the basics.
To those who sent me a pm about quotes, I'll get them scanned in soon. Didn't see them until work this morning.