Looks like @drpaul hasn't received any replies!