Looks like @mrphil hasn't received any replies!