random numbers in awk?

[d3e608%pnli.pnl.gov at pnlg.pnl.gov]

I'm trying to write a csh script to extract a random multiline 
record from a file.  Awk does a nice job of getting the records.  Now how
do I choose one randomly?

Thanks,
Jeff Nye, K6-10            email:  d3e608%pnli.pnl.gov at pnlg.pnl.gov 
Battelle PNL               voice:  (509) 376-4571, days, PDT 
PO Box 999                 Richland, WA 99352