I would like to put this dispute to sleep.

Please, read the following attachment, Shell is a giant petroleum company, I'll take their word that both of these petroleum distillates are the same.

Cheers