Has anyone ever seen an indoor pool built below a garage that has a spancrete floor?