kernel headers for 2.2.19pre17

[Patrick Boe <pboe@sccs.swarthmore.edu>]

the current stable debian distribution includes kernel version
2.2.19pre17.  a look at the source packages in
http://packages.debian.org/stable/devel/ shows, however, that though the
entire source for 2.2.19pre17 is available, a package containing just the
headers is not.  There are headers for the compact and idepci versions,
but not the vanilla version.  I need the headers for 2.2.19pre17, and I
don't want to deal with getting the whole source right now.  Is there
somewhere I can grab these headers?

thanks,
patrick