That seems way too high even if it was recorded and signed. I paid 10 euros non recorded for a 12" Star Wars record from Spain that was quite heavy and packed with thick cardboard. Maybe send Javi a PM to check?
thevintagetoyadvertiser.org 1970s and 80s vintage toy ads and other retro paperworks
imperialgunnery.com Vintage Star Wars action figure weapons and accessories guide