What would you do with gold coins?

Hi all,

So I got about 25 sovereign gold coins that I inherited early. I was never a buy gold kind of guy in my investing journey and I know gold price went quite up the last year and its very common for it to also stall for decades.

The price for each coin at my local gold dealer is about 900 usd (i pay no taxes on selling them as i live in a country where its tax free).

I'm thinking of selling them and putting it in my 90%VT 10%BTC portfolio but looking at what others think.

Thank you!