Thanks for all the replies, with the exception of one.
A few years ago, my GP said that as there were no apparent lifestyle factors that could account for the high cholesterol, it could be familial hypercholesterolemia. Went to see a consultant who just agreed that yes, it would be that, even though my parents didn't have high cholesterol. He said that it wouldn't come down, whatever I did. He was wrong, though, as it decreased from 7.5 to 6.5, though I can't remember exactly what I did! Looking at a graph, it's clear that it has reduced on a couple of occasions over the last few years, which makes me think it's not the familial thing.
I'm 52, as active as possible and have lost two stone in the past year. Vegetarian, not big on fatty food, no takeaways or anything. Never smoked, don't drink.
My BP is fine, if anything it's usually on the low side and I'm not diabetic or even pre diabetic. I think my paternal grandmother may have died of a stroke in her seventies. No early heart attacks at all. Mum died in her eighties of COPD and dad of pancreatic cancer in his seventies. Neither ever had a stroke or heart issues.
GP rang today and we agreed to test again in 3 months. I don't want to take statins if I can help it due to possible side effects. I realise not everyone will have side effects, but as I already have a lot of muscle and joint pain, I'd like to stay away from anything that MAY worsen those.
I hope I've answered all the questions, sorry it's so long!