Hey All, im going to change the serpentine belt (94k on OEM) and add some coolant this weekend... what coolant goes in our WK/XKs 4.7?

Mine seems to be an orange color (that normal?), and is at the "add" line. If anyone knows the brand that would be awesome.