Ich finde vorheriges Pingen sinnlos. Du willst dich doch sowieso verbinden. Dann tu es doch und wenn es nicht klappt, dann klappte es nicht. 10 ms sind auch sehr sportlich. Ein ARP-Request oder gar DNS-Lookup kann das schon locker auffressen.
Auch: Die Entscheidung wie lange ein Timeout ist scheint Sache des Betriebssystems zu sein:
https://serverfault.com/q/193160