Quick update. I made a comment yesterday in the VGA video that the colours were not looking right. Amazingly someone who works on the raspberry pi pico playground project tweeted me to let me know he had created a test_pattern project so I could debug the digital to analog converter!!! I used it and the colours are now perfect.
Many thanks to @kilograham5 for uploading the test pattern.