Has Buffett's Recent Buy of POOL Stock Been Good for Investors?