We were visiting friends over the yuletide holidays and found out that the preferred diesel oil there is Castrol RX Super 15W40. Diesel taxicabs uses it.

Is this oil brand and weight hard to find in the US?