usr/src/usr.bin/tip/phones-file

bert            004156427750-<
ernie           004156427652
lbl             004154864979-<
ames            009699129
decvax          00603-884-1241
decvax          006038841230
case            002163683923
casevax         002163683240
cwrunix         002163683240
cwruecmp        002163683906
ecmp            002163683906
navy            423012273700
gi              006028997900
gi750           008015823032
texas           512-474-5511
sri             415-326-7005
texas-20        512-477-6542