Add Jerudong (Brunei) to your list and use my-locations table to visually convert it's time to another timezone or city time.
Mouse over the colored hour-tiles and glance at the hours selected by the column.

Current time zone for Jerudong (Brunei) is Asia/Brunei, whose offset is GMT+8 from Greenwich Mean Time (GMT).

The IANA timezone identifier for Jerudong, Brunei is "Asia/Brunei"

It currently does not observe Daylight Savings Time.