I'd leave it as is ("dual mono") as well.
As an additional bonus, the same track played through 2 speakers will be perceptually "louder" than just coming through one.
On the other hand, if you encode it as mono, the end user can choose to do something other than listen to just the center channel but also has the option of using just the center channel if they want.
Not helping,
Joel