Looks like @tungluu hasn't received any replies!