This post has too many comments to show them all at once! Newcomers, please proceed in an orderly fashion to the newest welcome thread.
Haven't read Plantinga and not going to, but 'possibly necessarily P' does not imply 'necessarily P' in all modal logics.