Now I have a headache. Kerosene and paraffin as it is called in the UK are one and the same. Paraffin oil is something else altogether. Wikipedia just told me that kerosene is indeed called paraffin oil in the UK.

The reference here in the MVVS manual however is very clear in that is lists paraffin(kerosene) and paraffin oil as two separate ingredients inthe fuel mix.