Thank you for cheering me up.
I thought £6,300 was a "full" price.
They charge themselves out at £40 an hour, so take £300 off for materials, and they are in a 150 hours for a total strip, repair, and spray.
I feel better now.
Their work is better than the factory original.