i dont know about that model, but my us version of the vmx42 came with those... but we have the cat40 and not the bt40 . oh, and no bright green plastic cover on the coolant pistol. that must be where that extra money went, lol sorry if i am not much help.