Looks like @eric42 hasn't received any replies!