Looks like @mjg hasn't received any replies!