Replacement hex screw

Hi,

I was following the steps from this video to get my stuck filament out of the nozzle. But when trying to loosen the 1.5mm hex screw I stripped the inside cause it was stuck in the molten plastic. Luckily I was able to get it out. By heating the plastic with a lighter and tighten it loose, bit by bit.

I now would like to put in a new screw, but I do not know where to get one. I assume these can be ordered at Aliexpress or something for less then a buck. But I do not know what this kind of screw is called and how to validate its dimensions.

Can anyone help me out?

Amazon has 1.5mm if that is the right size.