GEC user Fonant has posted here, a nice looking file of OS map coverages as polygons in Google Earth. Looks very nice and useful. I’ve had the data for a long time, but never thought of this! Also of interest is Ctrl-MouseLeft trick to find what shapes are under the mouse (well I never knew that).