From now we do have Pt100/4W sensors with only 3mm diameter: