Do you think that menu was actually deleted???
Yes, the menu is gone. It doesn't show up using WRKOBJPDM. I may
have actually deleted it using option '4' off the WRKLNK display, from the /test