Eventually when you come to resell, a pool is an added plus. But for your own purposes, emptying the pool and adding a deck over it with a hinged door and steps placed below would be great for storage (as per option b but bearing in mind you could revert). All the best for your lovely new home.

Just a little ceramic information to share as a potter. Vitrified simply means the clay has become glass like by being fired to its proper maturing temperature. Usually ceramic tile means it is a lower temperature clay like earthenware or terra cotta. Porcelain is fired to the highest temperature and is more vitrified if you will. This usually means it is less porous to to absorb water and harder. Low fired ceramics with glazes much darker or lighter than the clay body will show chips easier. Rectified has to do with making the edges precise enough to fit smoothly together for less grout lines. So porcelain cost more to produce but it is more sturdy. All clay tiles should be vitrified.

Kannan, Please specify the area you require this in.

How to Remove Cement Stains From Tiles Pour a generous amount of vinegar into a bowl. Place a clean rag in the bowl to soak up the vinegar. ... Keep the rag over the stain for 2 hours to allow the vinegar to soak into the cement. ... Remove the rag from the stain, and scrub the stain with a scouring pad. ... Dampen a sponge in water, and rinse the area with the sponge. I took these suggestions off the net by the way. I've never tried it myself! All the best. Acid is corrosive so unless you have an expert who can determine how much to dilute the solution, it can be a bit tricky