So if you need to add or replace sand, do you just use play sand or should I shell out the big bucks for some of the "super sand" at the pool store?