Well since it's old resting place is now a full fledged dining area...yeah.
Was sad to see it go.
Just like Flynn's in DCA, Disneyland Hotel's underwater arcade and of course, the original two story Starcade.
Pinball is officially dead in the Magic Kingdom.
(At least for CA.)