The reason that I was concerned is the 7788 datasheet specifies 6.6V max.
An alternative of course is just a plain old resistor. It has the advantage of inrush current limiting to a very expensive valve. Might matter, might not, but can't hurt.
Uhhh guys, that diode is going to half-wave rectify the AC... Is that really what you want?
Bill