Hat's off to Craig for doing it DIY, it's an acquired skill that needs great care
Gary I would say it's a no brainer to protect that expensive re-spray, my previous Roadster had it from new by its first owner and after 50k miles it still looked like new in comparison to similar age cars which were peppered with stone chips
