F# Pmdr timer