Does Upton Hill Regional Park in Arlington,VA still have a lap pool for swimmers?

I need to know because I want to train for my high school swim team over the summer and it'd be cheaper if I bought a summer p, but if they don't have a lap pool, then I'd be wasting money. I know there are two slides, a kiddie pool, and a giant bucket, but I am wondering if they removed the lap pool like they removed the diving pool a couple years ago.