Insurance quote for replacement upholstery

Supersaddlers3

Has anyone had to claim for replacement upholstery for their caravan following a theft. we have had a quote from our caravan dealers for around £600 for an Elddis odyssey, I would appreciate any posts from people who have been in a similar situation.