I've noticed that my mirror has had new CentOS 4 kernel rpms for a few days but no corresponding headers. Just wondering whether this is intentional or an oversight :) Thanks, Mike