Texas Pool Company’s Bankruptcy Could Leave Hundreds of Customers’ Warranties in the Lurch