Looks like @gpaul hasn't received any replies!