Havoline OAT Engine coolant

[Lord Badger]

Does anybody know what engine coolant I should top up with. The manual says Havoline OAT which I believe is a Texaco product. However I can't find any locally (West country). So what do you guys use and is it simple to source.