Looks like @gdrpaul hasn't received any replies!