Also bezüglich der größe dieses Hotpixel läßt sich so nur schlecht etwas sagen, da das Bild ja JPEG ist.
Versuch doch das ganze nochmal als RAW.
In diesem speziellen Bild würde ich das aber einfach wegstempeln.
Oder durch den Hotpixel entferner laufen lassen - der bringt aber mit unkomprimierten Bilder bessere Ergebnisse.
Aber hier trotzdem mal dein Ausschnitt nach der Behandlung :
