produces the following:
STYCHO 2.4.1, 16 September 1998, Doug Mink SAO
Tycho     10:00:00.000 +10:00:00.00 (J2000) +- 1800.00
10 / 13 Tycho Catalog Stars (brighter than 11.6)
Tycho number  RA2000       Dec2000     Mag  Type  Arcsec
 832.06321 09:58:45.692 +10:27:31.08   9.07  M1  1982.24
 829.00231 09:58:00.595 +09:41:40.59   9.37  F0  2079.14
 832.12001 10:01:46.852 +10:12:57.34   9.84  F8  1758.99
 832.09811 09:58:28.750 +10:25:28.44   9.98  G2  2037.33
 832.09051 09:59:17.067 +10:10:02.94  10.32  F8   874.96
 832.10651 09:58:28.086 +10:02:51.30  10.46  F8  1368.43
 832.08721 09:58:07.998 +10:01:52.95  10.95  F5  1658.27
 829.07851 10:00:59.943 +09:40:43.84  11.21  G2  1456.56
 829.01931 10:01:42.729 +09:36:40.47  11.26  K8  2065.02
 832.10121 10:01:24.428 +10:04:25.54  11.63  G5  1275.00