Kate is there a bdm for Portsea Hampshire - and is the abbreviation for Hampshire - Hants or Hamps? If it is Hants - how do they work that out?