Coastal is fine.

SAE 90 "multi-purpose" gear lubricant was specified.

Any brand should be OK. I have used Coastal.