Looks like @gamin42 hasn't received any replies!