yes, I also noticed this - as expected *g*
Sky Sport 3 HD (Formular-1 Control-channel):
2013/07/27 14:04:11 182758 c [ADD PID 0] CAID: 1833 ECM_PID: 1843 PROVID: 000000
2013/07/27 14:04:11 182758 c [ADD PID 1] CAID: 09C4 ECM_PID: 1B43 PROVID: 000000
2013/07/27 14:04:11 182758 c [ADD PID 2] CAID: 09AF ECM_PID: 1F43 PROVID: 000000
2013/07/27 14:04:11 182758 c [ADD PID 3] CAID: 098C ECM_PID: 1A43 PROVID: 000000
2013/07/27 14:04:11 182758 c Found 4 ECMpids and 5 STREAMpids in PMT
2013/07/27 14:04:11 182758 c New program number: 010C (1833:010C unknown) [pmt_list_management 3]
2013/07/27 14:04:12 182758 c cooli (1833&000000/0000/010C/89:BE76): found (835 ms) by sky-ger
2013/07/27 14:04:15 182758 c cooli (1833&000000/0000/010C/89:0FD3): found (1343 ms) by sky-ger
Sky Sport 4 HD (Formular-1 Racer-channel):
2013/07/27 14:04:42 182758 c [ADD PID 0] CAID: 1833 ECM_PID: 1847 PROVID: 000000
2013/07/27 14:04:42 182758 c [ADD PID 1] CAID: 09C4 ECM_PID: 1B47 PROVID: 000000
2013/07/27 14:04:42 182758 c [ADD PID 2] CAID: 09AF ECM_PID: 1F47 PROVID: 000000
2013/07/27 14:04:42 182758 c [ADD PID 3] CAID: 098C ECM_PID: 1A47 PROVID: 000000
2013/07/27 14:04:42 182758 c Found 4 ECMpids and 5 STREAMpids in PMT
2013/07/27 14:04:42 182758 c New program number: 0116 (1833:0116 unknown) [pmt_list_management 3]
2013/07/27 14:04:49 182758 c cooli (1833&000000/0000/0116/89:35C9): timeout (7209 ms) by sky-ger
2013/07/27 14:04:50 182758 c cooli (1833&000000/0000/0116/89:5B37): timeout (7210 ms) by sky-ger
2013/07/27 14:04:57 182758 c cooli (1833&000000/0000/0116/89:E2A8): timeout (7201 ms) by sky-ger
Sky Sport 5 HD (Formular-1 Pitlane channel):
2013/07/27 14:05:38 182758 c [ADD PID 0] CAID: 1833 ECM_PID: 184B PROVID: 000000
2013/07/27 14:05:38 182758 c [ADD PID 1] CAID: 09C4 ECM_PID: 1B4B PROVID: 000000
2013/07/27 14:05:38 182758 c [ADD PID 2] CAID: 09AF ECM_PID: 1F4B PROVID: 000000
2013/07/27 14:05:38 182758 c [ADD PID 3] CAID: 098C ECM_PID: 1A4B PROVID: 000000
2013/07/27 14:05:38 182758 c Found 4 ECMpids and 5 STREAMpids in PMT
2013/07/27 14:05:38 182758 c New program number: 0120 (1833:0120 unknown) [pmt_list_management 3]
2013/07/27 14:05:39 182758 c cooli (1833&000000/0000/0116/89:BD5C): timeout (7203 ms) by sky-ger
2013/07/27 14:05:45 182758 c cooli (1833&000000/0000/0120/89:E756): timeout (7205 ms) by sky-ger
2013/07/27 14:05:49 182758 c cooli (1833&000000/0000/0120/89:6551): timeout (7206 ms) by sky-ger
2013/07/27 14:05:56 182758 c cooli (1833&000000/0000/0120/89:DAC4): timeout (7206 ms) by sky-ger
2013/07/27 14:06:03 182758 c cooli (1833&000000/0000/0120/89:42E5): timeout (7206 ms) by sky-ger
2013/07/27 14:06:10 182758 c cooli (1833&000000/0000/0120/89:64B5): timeout (7206 ms) by sky-ger
2013/07/27 14:06:17 182758 c cooli (1833&000000/0000/0120/89:D8AE): timeout (7206 ms) by sky-ger
2013/07/27 14:06:24 182758 c cooli (1833&000000/0000/0120/89:B8B7): timeout (7216 ms) by sky-ger
2013/07/27 14:06:31 182758 c cooli (1833&000000/0000/0120/89:CA74): timeout (7216 ms) by sky-ger
tomorrow afternoon 28th July from 13:15cest up to 15:25cest regarding EPG-information there will be a Bundesliga-2 football match on "Sky Bundesliga HD 3" ( Astra1, 11992h, 27500, 9/10 S2-QPSK with SID 0115/277)- I also expect this channel to be blocked - but we will see tomorrow
The fact that Sky Sport 3 HD is available for all customers is related to the canceld channel Sky Sport HD Extra which is no longer available: no customer, even not the cheap "discount-subscribers" should get less (HD) channels than before - so Sky Sport 3 HD is enabled for all HD-customers by default (regardless of the money they need to spend for the channel)
For football/Bundesliga you should expect to get Bundesliga 1 + 2 HD decoded (because until now customers were able to watch 2 Bundesliga games in HD on Sky Sport 1 + 2 HD channel