Other than 'popping' over to a JD dealership's parts department, I just went to my local Auto Parts Shop.
I explained that the coolant in my 4105 was 'yellow', they sold me "Penrite Universal Top-Up" coolant. (yes, I just went out to my shed and confirmed this)