its not impossible that the tank is original to that specific bike, because there was an A10 spitfire with (to my knowledge) that large tank - in fact, i've a suspicion that unit might even have been a special-order gold star design (dont quote me on that). whatsmore, export markets tended to get special models and goodies before the home market.
in your case i think it probably comes down to the specific dealer/buyer/catalogue on the day it was bought brand new, i.e. what did the buyer specify when ordering, or if it was in the dealership, what changes had the dealer made?