Looks like @galaxian hasn't received any replies!